
extern "C" void start();

void start() {
	// your kernel code here
}
